Commentary by Chris Pressey
===========================

<!--
Copyright (c) 2024 Chris Pressey, Cat's Eye Technologies.

SPDX-License-Identifier: CC-BY-ND-4.0
-->

This work is distributed under a CC-BY-ND-4.0 license, with the following explicit
exception: the ratings may be freely used for any purpose with no limitations.

Order Theory
------------

### Introduction to Domain Theory

*   rating: 1

.

### Deriving Laws from Ordering Relations

*   rating: 3

The thesis seems to be that the fact that some things form a lattice *induces* some of the laws
and equations surrounding those things.  For example, you get Bayes' Theorem *from* the algebraic
properties of implication a la Cox.  This is difficult to comprehend fully, but fascinating.